扫描下载APP
其它方式登录
文章探讨AI for Science浪潮下，模型公司加速产出科研假设后，实验验证、实验室自动化和科学数据管理等下游执行环节成为关键瓶颈，催生AI CRO、Lab OS和科学数据底座三类基础设施机会，聚焦生命科学与新材料领域，强调可复用、标准化、API化服务的商业潜力。
旷视科技成立十五周年之际，宣布战略收敛，聚焦物理空间运营主航道，以POA OS为底座落地五大场景，推动从技术供应商向可复制的运营服务商转型，目标2026年扭亏为盈；同时创始团队已彻底离散，公司进入由CEO赵康主导的商业化深水区攻坚阶段。
AI公司Axiom Math组织数十个AI Agent，在24天内完成有限单群分类定理的Lean形式化，生成4310万行可验证代码，覆盖全部1.5万页人类证明，并发现近40年前文献中的实质性论证漏洞，同时构造出新群论结果‘Preservation of simple tops’。
Linux基金会下属Agentic AI Foundation（AAIF）新增四个托管项目：Anthropic的Agent Skills、OpenAI的Open Responses、Hugging Face的OpenEnv和阿里的OpenSandbox，覆盖AI Agent技能封装、模型接口标准化、训练环境共享与安全执行沙箱等关键环节，标志着行业从模型竞争转向基础设施协同治理。
陶哲轩与邓煜在SAIR基金会播客中指出，AI生成的数学证明虽具突破性（如准黎曼猜想进展），但因缺乏可理解性、可追溯性和形式化验证，正导致数学界出现‘理解缺口’与‘溯源危机’；他们批评批量发布的成果为‘有毒废料’，呼吁改变学术激励机制，推动数学家事前参与AI研究，并倡导开源数学工具Open Math OS以重建学术秩序。
英伟达在GTC柏林站发布Vera Rubin、DSX Pod、Open Shell和Agile 1S等系列方案，推动AI基础设施从定制化工程转向标准化产品交付，聚焦部署速度、安全治理与供应链韧性三大竞争维度，并以欧洲为试验场，通过本地化制造、开源安全运行时和具身AI参考平台，参与定义下一代AI采购标准与技术入口。
2026年稳定币支付额暴涨45%至4820亿美元，但总供应量仅微增0.4%，凸显行业重心从发行转向分发与结算。Visa、Mastercard、Stripe等支付巨头联合推出Open USD，以透明收益分成争夺渠道主导权；Circle面临渠道“两头下注”压力；银行加息亦构成对无息稳定币的隐性制约。
陶哲轩与邓煜在SAIR访谈中呼吁重视数学研究的“慢科研”价值，强调AI虽可批量生成证明，但人类对证明的理解、解释、溯源及知识传承不可替代；主张通过Open Math Model等开放协作项目，让数学共同体主导AI工具开发，确保技术服务于理解深化与学科可持续发展。
WasabiCard宣布加入Open USD（OUSD）合作伙伴生态系统，拓展稳定币支付基础设施，支持企业级白标发卡、跨境付款、费用管理及资金发放；目前已集成USDT与USDC，后续将引入OUSD的开放可编程美元结算能力，服务全球700余家企业，覆盖200多个国家和地区。
Meta发布开源多模态大模型Muse Spark Open，参数量816B，专为代码与智能体任务优化，依托苹果MLX框架实现对M5 Ultra Mac Studio的深度适配，两台设备即可本地运行；此举标志Meta与苹果罕见合作，强调终端侧AI自由与Agent工作流落地。
文章围绕郭宇与Indigo的对谈，探讨AI时代软件开发范式的根本转变：从交付静态代码转向交付目的与媒体；分析Agent技术如何使软件即时生成、千人千面，导致智能商品化、工作价值重构，并指出真人注意力、意图判断和人本连接成为新稀缺资源；最终落脚于年轻人应摆脱‘工作必选项’思维，转向以兴趣和目的为导向的生存方式。
Open Academic Paper Gen是一款新型AI论文辅助工具，聚焦学术写作全流程，支持从选题、文献检索、趋势分析、提纲生成到初稿撰写，并创新性地实现基于全文的引用核验——定位原文段落、验证观点支撑性，标注PDF页码，显著提升学术严谨性。
传统美元结算系统如Fedwire、T2、CHAPS等周末长期停摆，造成44至60小时结算真空；Tempo作为无代币的私有结算网络，支持Open USD稳定币实现7×24小时实时结算，显著降低跨境支付与周末资金成本，已获Coinbase、Stripe、Visa等巨头生态接入并快速放量。
旷视历经15年技术演进，从人脸识别算法起步，逐步构建覆盖算法、硬件、系统（POA OS）和应用的全栈能力，聚焦物理空间运营，实现感知-理解-决策-执行闭环，以智能体赋能真实场景中的楼宇、工厂、城市等空间自主化运营，推动商业化落地与扭亏为盈。
文章认为市场严重低估了Circle的价值，核心论点包括：稳定币市场将以40%年复合增速在2030年突破1万亿美元；流动性与网络效应导致赢家通吃，Open Standard联盟难以撼动Circle与Tether的双头垄断；Circle本质是全栈货币平台而非单纯稳定币发行商，其支付网络、公链等业务正驱动收入多元化，有望在2030年实现50亿美元营收与500亿美元市值。
